The Borde Guth Vilenkin Theorem - Defended